Logics of questions
نویسندگان
چکیده
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملthe effects of cooperative versus individual directed reading thinking activities on students inferential and referential questions
two groups of students were assigned as experimental and control ones, and were given instruction on directed reading-thinking activities and after some treatment, they were post-tested. although the initial pre-test did not show any significant differences, the final post-test result revealed that the cooperative reading comprehension helped the experimental group. the cooperative students’...
15 صفحه اولJustification logics and hybrid logics
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, w...
متن کاملTitle: Description Logics Description Logics
KR: knowledge representation. DLs: Description Logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals and relationships among them. (Logic-based) Semantics: a way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic. Interpretation: a mathematical structu...
متن کاملFuzzy Logics Interpreted as Logics of Resources
Girard’s linear logic (1987) is often interpreted as the logic of resources, while formal fuzzy logics (see esp. Hájek, 1998) are usually understood as logics of partial truth. I will argue that deductive fuzzy logics can be interpreted in terms of resources as well, and that under most circumstances they actually capture resource-aware reasoning more accurately than linear logic. The resource-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2015
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-015-0736-y